oil quenching tank - German English Dictionary